formal semantics
[ˈfɔ:məl sɪˈmæntɪks]
- 基础释义 纠错
- 释义
形式语义学[程序];
- 双语例句 更多例句
-
1、
-
2、
-
3、
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
来源：互联网摘选 -
4、
-
5、
它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。
来源：互联网摘选 -
6、
Multi-paradigm Based Instruction Assistant System for Formal Semantics Course
基于多语言范例的形式语义学教学辅助系统
来源：互联网摘选 -
7、
However, its lack of rigor and formal semantics prevents it further developing.
但uml没有精确的、形式化的语义阻碍了它的进一步发展.
来源：网络文摘精选
- 相关词组
- 相关阅读
-
妇女节英语作文两篇（带中文）
简答网 · 初中英语作文
-
高考英语阅读理解真题137(含答案解析)
简答网 · 高考英语
-
2025考研英语词汇备考:obscure
简答网 · 考研英语
-
中考英语作文范文2篇（带中文）
简答网 · 中考英语
-
高考英语阅读理解真题113(含答案解析)
简答网 · 高考英语
-
高考英语阅读理解真题105(含答案解析)
简答网 · 高考英语